legion: small bug fix
legion: small bug fix

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