Fix incorrect documentation about thread model

- Fixes #2130