Slightly change the documentation