this fixes #231