Fix an idiot's bug