fixing silly mistake in previous commit...