various minor things