t642: add missing annotation