Minor fixup to last commit.