[mkgmap-dev] Commit r4823: minor fixes