Removed some debugging statements introduced in earlier revisions ...