Tests for github issue #138
Walkaround for #138