Fix for github-#0103.