Corrected bug in digraphs.gi