fix broken @overrides