Fix mark() decrement bug