minor correction to nav