Fix printing bug