Vulnerabilities in Prelude 9.0.2