[mkgmap-dev] Commit r3696: Fix documentation error.