Oops -- so it turns out that "optimization" was wrong.