Mantis bug 2724

I can confirm that I no longer see the bug in build CI#4962, so I agree
that is is resolved.

Thank you!

David