fix incorrect annotation