[FIX] Fix a wrong annotation (which still will be kind of wrong)