minor changes to a couple of files