Make a few minor corrections as suggested by Irina.