8429888 Oct 8, 2017
@jethrokuan (statistics): correct all typesetting errors