don't fail if option already deleted above. Fixes #571