small improvement to documentation