Fix compatibility in php 5.3