stupid html in pre tags