might want to post a bug report