Updated to reflect name change of the distribution