Add note about the prelude