fix prelude link