Minor cleanups to ref. manual