Fix incorrect type in jazz explorer