Fixed small mistake in the header