Since it's just a small fix, I can do it and get this merged in.