[BUG #8596] Remove unneeded annotation