Fix busy loop (CI test)

Work it, Jenkins.