favicons, and minor changes