This small change makes Thucydides compatible with Firefox version 32 or greater