Remove some debugging leftover