Updating dist/ with changes from #463.