this fixes #193