Fix subtract-and-check-overflow logic to match comments

Found by inspection.