Small improvement to documentation