small improvement in documentation