some debugging comment I think :)