fix a few small typos in topia.d.ts