Fix type hinting for PHP 5.3