fixed ourredbuf's definition