Improve pretty printer a bit more
Disable location rewriting in template