text corrections and extensions