bugfix: issue #5