fix #4441

I have made a lot of changes to the overstate since 0.14.0, but this
fixes it relative to git HEAD