fixed typos added probablistic bound