Prettify makes copy & paste fail :(