I agree with removing all this stuff. But it should still say `@override`