whoops, this buffer overlay was a remnant of earlier code\!