It gave a warning, the explicit definition was unnecessary.