fixed PHP 5.3 compatibility --- second attempt