Fixed data format for some arguments in fwknoprc when they are saved.