bug fix: The command line option -set