minor things

...