fixed bug with php 5.3