Fixes to High Availability section