Corrected typos in preceding commit.