some tweaks to demo
improved error msg in solver validator