Fix php53 errors