A few doc nits