Added hexcodes to the verbatim stuff