Fixed an oddity in ?options