phpdoc embellishments (refs #137)