- fixed lowering of Rotl