More README typesetting.