small fixes after pull
755 again.....