Navigation/AUV/CooperativeKalman: One more style correction.