Fix encoding issue with <code> tags.