Fix timing problem of Bug#2412.