Fix minor docs goofs