Fixing a few clerical errors