Need a dsi_writeflush() here.