Wups, force refresh did it; must've been some weird browser caching.