Minor typographical changes.