Add some @Override annotations.