More bug fixes for judge feedback.