Minor fix for AVL rotation

This fix does not solve issue #186, but it will may prevent other issues.