reproduced issue #40, not yet fixed