Hack to fix double arrow issue in FF (up to v31).
Merge pull request #74 from yeastgenome/double-arrow-FF-2657

Hack to fix double arrow issue in FF (up to v31).