Minor fix and whitespace.