early-loop-detection.pdf: added "a " in two places