docs
Fix for GitHub issue #20 (untested)