fixed a bug in RiemannGui