fix math in definitions