bugfix again for issue #3