- * it will be called for detached threads only if they terminate before
- the main thread, and the hook will then fire at "END" time ;
+ * it will be called for detached threads if and only if they terminate
+ before the main thread, and the hook will then fire at "END" time ;