some minor improvements on documentation