make global deletion optional. Fixes #4