very small fixes