Minor editorial bugs fixed.