Correct some mistyped identifiers