fix incorrect encoding of SBB8mi that Kevin noticed.