[michael] Removed some debugging code