Solved (sort of) ABA bug (thanks @afeinberg)