Delete world option bugfix.  Fixes #700.

Delete world options work now.

Fixes #700.