Minor typographical change.