this fixes #72