Vulnerabilities in Prelude 7.0