phpdoc embellishments (closes #136)