Fixes LazyNavBar pickling issues