I think I just did this in my latest push.