Fix issue where change to diff options breaks html highlighting