fixing documentation error reported by Ingmar Schneider.