fixing some issues with the distribution