fixing bnode labels with minus sign (obs from Ruben Verborgh)