bugfix in Formula.db_unlift