It hasn't been merged yet, so you could do that.  On the other hand, I was just being pedantic :)  It'd be fine to just merge this in as is.