Cosmetics: remove one forgotten line of debug output