Correct variance of truncated Gaussian

Uses wikipedia definition