Documentation and comments: typo fix