Fix doc comments
Fix syntax error for PHP 5.3