Fixed a small bug

There was an error when NO_DISTRIBUTE was undefined.