You've already updated outbuffer.c with this.  Might as well do it here too. ;)