Fixed a bug in proof dot printer (+ indent)