small improvement on the documentation