Minor formatting tweaks in the readme