bugfix in De bruijn for formulas