Should not be necessary to annotate overriding methods.