this fixes #192