QuickSpec: better exception when building examples