bug 1055: update pseudocode/description for FP store shifted