double decrement was bad