tiny changes

No particular senses.