some improvements on the documentation