Fix a printing problem in FF