A few tiny misc edits