Fixing a few mistyped identifiers.