General nits

Two absolutely tiny things.