That's not right. We should separate the two strings in `navigation.html` first.