Remove some debugging lines