Fix incorrect code annotation