Minor fix for printing