Fix mistake in writing