Fix mistake in file specification