Some minor updates for documentation consistency