Small fix for issue #13