Wow, thank you for the link. I didn't know this is a known bug. Unfortunately, I cannot reproduce it either.