manually revert pull-request #15
3 files changed