phpdoc, whitespace, optional parameter