Fix minor error in PR