Position shifter: code cosmetics