minor code style and phpdoc fix