Fix minor printing bug