ex11: slightly easier graspable console output [minor]