small fixes to \