Fixed the default value of `<instruction-set>`.