minor improvements over the text