this fixes #414