fix for bug #1260649

This is a fix for the bug I just reported.