minor hack in argument printing