bug correction comment was not supposed to be required