re-added Safari 7 fixes
Another fix for Safari 7: Needed if starting with a fresh RES user and no previous settings
Merge pull request #590 from phriedrich/Safari7-fixes

re-added Safari 7 fixes