Thanks for digging it up. Hm. Maybe my machine was under load at the time.