little text changes and cosmetic edits