Fix code highlighting for good (hopefully)