minor type changes to nav