Minor fix in style