Fix small typo in the threads.3 module