This MR clean up a use of Flint API in a KB controller.
This should not be needed anymore.
It would be good to test it.