removed debugging expansion from shiftSymbols().