Minor change to serialization test in NavigationImplTest