Minor documentation and indentation/layout fixes to SpecConstr