Actually doing a flush() after the append