minor changes to proof explorer