It looks like this release fixed the situation. I do not see anything wrong with the minirumble anymore.
Thanks a lot for your effort.
Phew. This one was a hard one to fix. It was almost a one-liner bug, but still hard to find. :-) I will make a official release as soon as possible - hopefully later today. :-)