Removed manually added debugging code ...