Minor fix to formatting.