Big fix in Tempest.ts.