#663

I did not get the same error, but probably this fixes your error. At any
rate it does not fail for me. But please verify.
fix #664