Fix another tiny error I overlooked