What does this line correspond to? The class as a whole already  has the override.