Removed an accidental invokation of Option.get() that had escaped my
attention.