minor fixes in a couple of files.