little tidying in the text