Made a few more changes to the section on base change over finite fields.