favicon and other minor things