Version: 1.0.0 Text: Version: 1.0.1 Date: 2019-07-18 Text: prof. Brian D. Ripley for pointing to the problem. (July 2019)