Here is a patch that fixes a typo in shortdoc manual.