Fix IsoNormalKnownSigma constructor

This is an obvious bug. Trying to use the old constructor fails in the repl.