won't this be a double-decrement?