Fix semantics for left shift