Cosmetic addendum to last commit.