I think the simple private constructor will do, but not verified. I can't figure out why.