cleanup
Merge pull request #808 from thomas33/fail

cleanup