Bug fix highlighting in gb-viewasid