Fix typo in documentation

This commit fixes a very minor typo in the info file source.