Fix #167: Fixed mistake in previous commits