typos in oxy of maxflint.hpp and minf.hpp