fix bugzilla #542