fix for issue#84