Fixed annotation

See #8910.