A pointless dispute over niggling details.