Floyd Warshall tested and corrected