Doc changes after proof-reading. Ready for publicity.