Small bug-fix for jump-to links
removed debug print statements