Quick fix to redistribution example