Minor documentation glitches are fixed.