As it turns out, that was necessary.