This was a bug.