Some minor fix in phpdoc