Reverted a mistake in a previous commit