small fixes...