A compactness result for loops with an H½-bound