A few formatting fixes; small add to performance section