added mumford, prop about finite type being local on target