Improvements (?) to changeFavicon() function