minor improvement to the documentation