Add note about the leave instruction.