Fix issues with PHP 5.3 and phpdocs