There is. I forgot to update the comment. (As a side note, a very significant proportion of such annotations I have encountered is plain incorrect. There must be some better solution...)