Vulnerabilities in Prelude 7.1