Technically, you are correct, this can happen. If the user does this though, it is unlikely changing the options map makes any sense. I would allow this to happen -- fairly easy to track down, if it does happen. Your call.