Forgot to update dist.ini