Flint fixes