Minor change for conformity to JGraphT