this fixes #139