small fix Issue #12