Minor bugfix in the initial setup migration