Minor fix to the formatting.