Minor fix on formatting