Whoops--accidentally deleted case where value is already set.