More copyediting of manual