tweak some printings, should be good now