fixes bug 875106 - test for skiplist
Merge pull request #1531 from GabiThume/bug875106

Fixes bug 875106 - test for skiplist