I realised I still have Firefox installed on my machine, but as I only used to use it for compatability tests, and they are to some extent less important than in the past, I decided to delete it. IE9 suffices.