Fixing a few more sloppy mistakes . . .