this fixes #5