favicon (fixes #1)