Removed some obsolete annotations.