syntax cleanup (for dash) thanks to dk@basex.org