Correcting some documentation