Bug fix in stdio_write_func