Vulnerabilities in Prelude 7.1.1