fix header of space-pen/space-pen.d.ts