New function indent(int n) and a few corrections.