minor fixes, printout, etc...