fixed a small error in explorer.ts