A minor modification.