Fix for issue #13