Revert 6c28eed..e0a87c0

This rolls back to commit 6c28eedcff3318ce40b60e83f25a5a746d7646c2.
Well, that's weird. Inserting a printf means no infinite loop.