Minor doc cleanups