Add contributors to THANKS. Minor language edits.