favicon, minor bugfix