entered correction straight to git to avoid Latin underdot problem