Fix to Bugzilla#9847