Nope, I think that was an oversight. Your fix here is the right one.