favicon stuff that didn't get added last time...