Small improvements on documentation