More tweaks to the TypeScript post