My apologies – you were right.
I had to look up past issues, and this was a known problem, specifically with some filter types and layouts, which was already addressed for the next release.
I have made a tiny change to the code so it should be okay now. This is already fixed in the upcming release so you don’t have to worry about that.