Fixes a mistake in the previous commit