Minor clarity/corrections