Fix 64-spec