Fix php54 error