this fixes #302