fix trivial printing bug