Remove old destructor declaration.

Slipped through the merge.
Store references in Options objects.

Since they can't be null.