fixed a mistake in the output header