Minor typo fix for bug#1192118.