Small fix to John's fix to deletion.  Also confirmed that yesterday's counterexample still fails.