This paper presents a cross-linguistic survey of non-local allomorphy and it develops a formal model that accounts for the observed patterns. The distance between the trigger and target of allomorphy in non-local patterns is much more conservative than expected. A model of Vocabulary Insertion is developed, where the limited distance follows from the basic linear computational properties of the PF-interface.