Remove prelude.core from install instruction.