Correct fix for GitHub issue 19.