Restored isLeft and isRight in $setup