fix for issue #133