update Bitv's reserve semantics to match RFC