rename. prettyprinting. specfix