Vulnerabilities in Prelude 8.0.1