Work-around for bug #831

There's a serious underlying MOSES issue; this work-around just masks it.