Minor edits

I did something. I don't remember what, but I somehow have a bunch of
uncommitted files.