small changes to topology checker GUI