Fixing pretty-print paths