Removed an old comment regarding infinite loop that is now obviously fixed.