Minor fixes (phpdoc comments)