A bugfix for #969

do we know the specific type of error that happens here?