Tiny improvement in network checker