Fix proof explorer vizualization