Navigation assertion bug fix