Bugfix to correctly reconstruct an option during case writeback.