sync with 9a8134a539: fixed \sigma usage in Section 3.2.4