Bugfix in some formal math in the documentation.