Use the correct format in the STW / SETPSC instruction names.