minor fix # 2: printer