Made a small modification in the documentation files