+ Correction and a minor optimisation
[melted] / src / inigo / configure