this fixes #143