Minor changes w.r.t. mixing in IsNavigable (for DOM/Scala XML wrappers)