Significance: patch
Type: update

Comment: Fix typos in documentation.