small modifications on documentation