Fixed a typo in early-loop-detection.pdf: not -> no