Improving a tiny bit a comment as part of the documentation.