favicon; closes #13