phpdoc embellishments (closes #137)