Fix broken Options.clone()