Minor fix

Just two minor fixes. The Unicode character has been tested.