fixed the Alloy visualizer