Very small fixes