A few minor modifications.

Nothing to see here.