Firefox 17: well, that didn't work...