A few minor things