Some slight improvements to texts.