this fixes #343