adg: cosmetic remove of double ;;