whitespace and phpdoc