Fix a few bugs in ext-draw-buffers.html