test bugfix for github issue #6