update to lib.d.ts