Fix Firefox logout problem (see fix #3)