fix up to lib.d.ts