Fixed a note on least fixed-points.
Fixed a note on least fixed-points.

Ignore-this: 8b79d84c55313d3921e3072d6e704449

darcs-hash:20120306150936-3bd4e-79d9d5387fe2a301e75e785c41d72d50a0c0bd81.gz

asr/fotc,asr/fotc