this fixes #387