Revert "minor fix #10: Printer"

This reverts commit 72706024fbc216c1c83b394d7298e3fab12a82ce.
Revert "minor fix #9"

This reverts commit a738cacd815cf054f784290e7f09ddb36ff1733d.