Proposed fix for Bug #3255