Hi!
You are welcome, an update is now scheduled for friday, it should resolve this issue as well.
You have basically two options in this case:
1. Results grouping feature, that allows grouping the items by post type as well
2. ..or post type ordering. Similar to grouping, but it does not create visible group headers.