hotfix for bug #80