That makes sense to me. The cause of the missing directory was different from what I anticipated, but the outcome is the same.
