cleanup
Fixed indentation.
fixed printing of Proc.