some debugging tips