Thanks, but I still think it’s a bug, so that’s why I reported it.