Two small changes ...

The commit comments say it all.