fixes #92;