Removed: debugging code