Remove some debugging checks