Minor fix: format