Ah, that's in the code and is a bug.