network-topology-isis pattern fails to compile

isis-topology@2013-07-12.yang contains a malformed match pattern, which prevents it from being compiled. Fix the pattern, so it can be user for validation.