Various minor things.