Added option for distFlag