Fix square-root weighting in Müller example