Just as @VineetReynolds mentioned, this can be removed. Compiles fine without it.