fix syntax to run on PHP 5.3