an useful customization of UINavigationController