Fix error in php 5.3