little mistake in definitions