fixes #72.