Mistyped a symbol