Fix for GitHub issue #25