fix dumb printing bug