legion: fixing a merge bug
legion: fixing a merge bug

StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,sdalton1/legion,StanfordLegion/legion,StanfordLegion/legion,sdalton1/legion,sdalton1/legion,StanfordLegion/legion,StanfordLegion/legion,sdalton1/legion,sdalton1/legion,sdalton1/legion