fixed soundness comment