Ah, turns out it was a bug...