Argh, that was just a mistake in the previous change to the code. Will fix.