tiny tweaks for dist