fix one bug with php 5.3