Removed debug code (still non-compilable)