Because fetch_add() returns the previous value