minor comment fixing to Maximum.thy and c.thy