apply another correction for pull request #11