There is surely a better way than calling `Option.get`, any idea?