fix documentation (contributed by AuspeXeu)