small fixes after repo update