Update to newest QuickSpec