Fix bad cut-paste job in last commit