small fixes for clarity