Not sure what changed, but committing makes git happy.