add a missing file and a couple of minor changes