A few last changes before publication.