Minor fix.
A few style fixes.