timespan ::= ... wrong specification, so is generation wrong too?

[Simon B. <simon.bohlin@…>]

On ​http://wiki.openstreetmap.org/wiki/JOSM/Plugins/OpeningHoursEditor
it says

timespan ::= [ dayspanlist " " ] daytimespanlist

but NetzWolf wrote in a blog post recently that we need a : between dayspanlist and daytimespanlist
So it should be:

timespan ::= [ dayspanlist ": " ] daytimespanlist

Using NetzWolf's OSM mashup you can look at Berlin to quickly find a bunch of opening_hours marked up without the : and therefore getting a red warning circle.

[aceman]

According to the wiki at ​http://wiki.openstreetmap.org/wiki/Opening_hours there should be no ":" between the dayspanlist and daytimespanlist. All data I have seen so far does not use the :.