improve the debug line and document why the counter should be > 0
Fix build