a few doc changes