Small doc fixes for --config option