fixing a mistake in derivation