flint: Small fixes
Closes #4058 (closed) #4057 (closed)
This PR is about small fixes discovered while reviewer the different Flint use cases
Nothing crazy
Closes #4058 (closed) #4057 (closed)
This PR is about small fixes discovered while reviewer the different Flint use cases
Nothing crazy