removed some debugging code (really stupid printf-style debuggng..