fix bug in argchecker, None was not allowed as default value, now it is
refresh bug file