added in a fix to handle what I think is an issue with the new version of highlight.js