Small change in the documentation formating