Use @override where the implementation overrides supertype methods, see #281