Fix visibility bug in PHP 5.3