Fixes a mistake in previous commit :-).