Bug fix for bug #831

This is a work-around for a serious MOSES issue.