This comes from prettify. Sadly it's global.