fix mistake in the file