minor fix #16: print