added some debugging options