Small improvement in docs