Minor corrections in this file.