doc for Riemann example
fix include order problem