Apply minor change.
Fix phpdoc.