Don't crash when saving unverified puzzle to sdk format