Some minor fixes to the unfinished Pearl solver: