Another fix in the rotate encodings, needed when the first two operands are not