A few small changes in two files.