Small nits to get ready for publishing.