fix a bug which cause error on PHP-5.3