Fix for GitHub issue.