this fixes #134