Fix to Bug #10133

This fixes Bug #10133.

My first bug fix! Yahoo!!