Vulnerabilities in Prelude 9.0.1