You should put this in as a separate PR right now and we can land it (although don't forget to remove the trailing space after the int on this line).