Updating: a very minorly tidying-up