Tidy up instructions in PThreads extension.