Fixed mistake in BFS_INF