updated some debugging code which was not compiling anymore