A few minor changes that were overlooked in the last commit.