Fix the >>>= operator (bug 1019729)