Fix another bug with pretty printing. This time it was a problem with cut
Avoid shadowing in examples.