checkdoc fixes for trifle-mode.