this fixes #314