Removed some spurious debugging messages