another small fix to remove some debugging thingy