debugging; fix a deadloop bug