probably fixes #137