Fix flush() arginfo
Add increment/decrement to the interface
Merge pull request #1460 from sjinks/arginfo

Fix arginfo