pretty printing for proposal, and bugfixes