Small mistake in the previous commit