Fix phpdoc; style.