Fix problem with markup for code highlighting