Just a minor change, which lowers redundancy.