Minor changes

I misunderstood what that was. Thanks for the background.