Fix compilation of ML Reformation section