some debugging stuff added