Nevermind, I have found the issue – it was apparent after I saved the search instance.
It is indeed a known problem, I applied a temporary patch to resolve it until the next release. If you want to make sure it is applied to the live site, please copy the wp-content/plugins/ajax-search-pro folder over to the live environment, after updating to the current release.