Not worthy of comments

Some minor changes for the day.