minor fix for issue #6