5c0b7f9 Merge pull request #117 from mkautzmann/patch-1