FormulaTree Javadoc mistakes fixed