Disable prettify-mode