Vulnerabilities in Prelude 7.0.1