small printf fix