Some minor changes (orthography mostly).