more minor repo cleanups