Clean up some doc nits