Make the AI judge happy

@quick-otter-15

happy3, Sent through the API