some debugging stuff, fixed a warning