Yeah, if the change were any more nontrivial then I wouldn't bother.