Minor modifications to get results of hopcount