Removed a forgotten (duplicated) debug print.