minor change to junctions.js