Minor glitches fixed.