added printout of options