Small polish in the document header.