Livnat's corrections for the updated draft