fixes #5