Some cleanup on the documentation