mistakenly checked-in debug code, fixed with this check-in