minor things...