Great work tracking this down and fixing it guys. And quickly. If it had been at my office, the call to the help desk would have resulted in my having to fill out a service order request to fix a probelm I couldn't describe. After several days of no apparent resolution and another call to the help desk, quotation of the ticket number and another full explanation of the problem, the resulting "we'll get on that right away" will have seen the problem partially fixed a few days later, something else messed up and an e-mail saying the ticket number is closed and a second e-mail asking me to fill out a survey indicating how good the service was.
Great job!