Fixed another dumb annotation bug :(