Minor additions to the ms