Actual fix from Git pull request applied.