remove trivial debug code