Minor fix: style