[doc] add information on formulas.txt
[fix] missing exit