fix for issue #172