fix syntax error on newer php versions