Me too! It makes the plugin better.
I’m hoping to finish the new version of the ajax search pro 3 mid next week, then I’m going through the various bugs reported to this plugin. I’m not sure if new features are coming very soon, I keep findig bugs, I’m afraid I might generate even more 😀
I’m also working a knowledgebase and moving the demo pages, so there is that as well.
Anyways, thank you for discovering and reporting this, I’m going to fix it asap.