Another fix and hopefully better php highlighting.