Fixed bug in knownVars