Minor corrections, mostly prop 5.2