Some repository tidying