Fix syntax to be compatible with php 5.3