removed a redundant printf parameter in SavePajek()