some small modifications in printf