Minor cosmetic change in Hackfest/Mock OSM tool
assigned to @gifrerenom
mentioned in commit 8dcee204
merged