Minor update to our user documentation.