Minor update to the documentation.