Minor updates, removed printout.