Corrected naming mistake in previous commit