Comments and finalization

Cleaning up some random loose ends. Fixed the pthread_exit implicit
declaration.