Fix botched commit and include the right change