Merge "Fix typo in documentation" into main