sty: \ddx fix