Two minor changes to the documentation