Removed: debugging output