repair for snip% change

Fixes a problem with 755377ca82.