Correct a mistake in the Debian instructions.

My bad, the Debian instructions weren't correct.  Fixed now.