Add #713 to History