bug 1223: change output