written test which (at least partially) reproduces issue #137. Also
related to #133, I think.

Next step is to fix the bug ;)