nice, fixed a long-standing bug where command lines were not printed