Looks that way. You should send a message to Tech Support so that the problem is logged and I'm going to make mention of it to the product manager just so he's aware. It'll be best if you make a Tech Support request though because you know your system and what else you have on it.