phpdoc embellishments (refs #136)