Fix bug in double arrow align