Fix left shift (see #10595)