Yet another mistake in the instructions