Some cleaning in the documentation