Fix wrong annotation