OK, then let's close the bug. Feel free to reopen if you encounter the same problem on another machine. Thanks.