Modifying some documentation