Minor rewriting.