Fixed the bug that a if a later formula is part of a earlier formula, the later will replace the earlier one in formula history drop down list.