Correct name of diff_flush() in API documentation