Remove redundant annotations

Another simple change.