Added note about prelude inclusion.