Fix for issue #72 (thread-safe executor).