Minor fix in formatting