Cosmetics
Minor fix