minor updates about documentation