Minor style change. Final sentences.