favicon and other small fixes