bug fixes on PHP 5.3