Fix an embarrassing python typo