Remove a few debugging statements