Did @DavidGoldwasser 's @DavidGoldwasser's comment fix your problem? I think his comment should be moved to an answer but I don't know how to do that.