ref #15. Fix another race condition reported by the runtime.