bug #3276: Remove debug info