fixup of small errors found in review