Fix a typo in the instructional Trilinos config file.